3.100 \(\int \frac{\sqrt{c+d x} \sqrt{e+f x} \left (A+B x+C x^2\right )}{(a+b x)^{9/2}} \, dx\)

Optimal. Leaf size=1716 \[ \text{result too large to display} \]

[Out]

(-2*(24*a^4*C*d^2*f^2 - a^3*b*d*f*(61*C*d*e + 43*c*C*f - 4*B*d*f) - 3*a*b^3*(d^2
*e*(B*e - 3*A*f) + 2*c^2*f*(7*C*e - B*f) + c*d*(28*C*e^2 - 5*B*e*f + 5*A*f^2)) -
 b^4*(4*A*d^2*e^2 - c*d*e*(7*B*e - A*f) - c^2*(35*C*e^2 - 14*B*e*f + 8*A*f^2)) -
 3*a^2*b^2*(d*f*(3*B*d*e + 2*B*c*f - A*d*f) - C*(15*d^2*e^2 + 37*c*d*e*f + 5*c^2
*f^2)))*Sqrt[c + d*x]*Sqrt[e + f*x])/(105*b^3*(b*c - a*d)^2*(b*e - a*f)^2*(a + b
*x)^(3/2)) + (2*(48*a^5*C*d^3*f^3 + 8*a^4*b*d^2*f^2*(B*d*f - 16*C*(d*e + c*f)) -
 b^5*(8*A*d^3*e^3 - c*d^2*e^2*(14*B*e + 5*A*f) + c^2*d*e*(35*C*e^2 + 14*B*e*f -
5*A*f^2) + c^3*f*(35*C*e^2 - 14*B*e*f + 8*A*f^2)) - a*b^4*(d^3*e^2*(6*B*e - 19*A
*f) - 6*c^3*f^2*(7*C*e - B*f) - c^2*d*f*(238*C*e^2 - 19*f*(B*e - A*f)) - c*d^2*e
*(42*C*e^2 - f*(19*B*e + 20*A*f))) + a^3*b^2*d*f*(C*(103*d^2*e^2 + 344*c*d*e*f +
 103*c^2*f^2) + d*f*(6*A*d*f - 19*B*(d*e + c*f))) - 3*a^2*b^3*(C*(5*d^3*e^3 + 94
*c*d^2*e^2*f + 94*c^2*d*e*f^2 + 5*c^3*f^3) + d*f*(3*A*d*f*(d*e + c*f) - B*(3*d^2
*e^2 + 16*c*d*e*f + 3*c^2*f^2))))*Sqrt[c + d*x]*Sqrt[e + f*x])/(105*b^3*(b*c - a
*d)^3*(b*e - a*f)^3*Sqrt[a + b*x]) + (2*(6*a^3*C*d*f + a*b^2*(14*c*C*e + 3*B*d*e
 + 3*B*c*f - 8*A*d*f) - b^3*(7*B*c*e - 4*A*(d*e + c*f)) + a^2*b*(B*d*f - 10*C*(d
*e + c*f)))*Sqrt[c + d*x]*(e + f*x)^(3/2))/(35*b^2*(b*c - a*d)*(b*e - a*f)^2*(a
+ b*x)^(5/2)) - (2*(A*b^2 - a*(b*B - a*C))*(c + d*x)^(3/2)*(e + f*x)^(3/2))/(7*b
*(b*c - a*d)*(b*e - a*f)*(a + b*x)^(7/2)) + (2*Sqrt[d]*(48*a^5*C*d^3*f^3 + 8*a^4
*b*d^2*f^2*(B*d*f - 16*C*(d*e + c*f)) - b^5*(8*A*d^3*e^3 - c*d^2*e^2*(14*B*e + 5
*A*f) + c^2*d*e*(35*C*e^2 + 14*B*e*f - 5*A*f^2) + c^3*f*(35*C*e^2 - 14*B*e*f + 8
*A*f^2)) - a*b^4*(d^3*e^2*(6*B*e - 19*A*f) - 6*c^3*f^2*(7*C*e - B*f) - c^2*d*f*(
238*C*e^2 - 19*f*(B*e - A*f)) - c*d^2*e*(42*C*e^2 - f*(19*B*e + 20*A*f))) + a^3*
b^2*d*f*(C*(103*d^2*e^2 + 344*c*d*e*f + 103*c^2*f^2) + d*f*(6*A*d*f - 19*B*(d*e
+ c*f))) - 3*a^2*b^3*(C*(5*d^3*e^3 + 94*c*d^2*e^2*f + 94*c^2*d*e*f^2 + 5*c^3*f^3
) + d*f*(3*A*d*f*(d*e + c*f) - B*(3*d^2*e^2 + 16*c*d*e*f + 3*c^2*f^2))))*Sqrt[(b
*(c + d*x))/(b*c - a*d)]*Sqrt[e + f*x]*EllipticE[ArcSin[(Sqrt[d]*Sqrt[a + b*x])/
Sqrt[-(b*c) + a*d]], ((b*c - a*d)*f)/(d*(b*e - a*f))])/(105*b^4*(-(b*c) + a*d)^(
5/2)*(b*e - a*f)^3*Sqrt[c + d*x]*Sqrt[(b*(e + f*x))/(b*e - a*f)]) + (2*Sqrt[d]*(
d*e - c*f)*(24*a^4*C*d^2*f^2 - a^3*b*d*f*(43*C*d*e + 61*c*C*f - 4*B*d*f) + b^4*(
8*A*d^2*e^2 - c*d*e*(14*B*e + A*f) + c^2*(35*C*e^2 + 7*B*e*f - 4*A*f^2)) + 3*a*b
^3*(d^2*e*(2*B*e - 5*A*f) - c^2*f*(28*C*e + B*f) - c*d*(14*C*e^2 - 5*B*e*f - 3*A
*f^2)) - 3*a^2*b^2*(d*f*(2*B*d*e + 3*B*c*f - A*d*f) - C*(5*d^2*e^2 + 37*c*d*e*f
+ 15*c^2*f^2)))*Sqrt[(b*(c + d*x))/(b*c - a*d)]*Sqrt[(b*(e + f*x))/(b*e - a*f)]*
EllipticF[ArcSin[(Sqrt[d]*Sqrt[a + b*x])/Sqrt[-(b*c) + a*d]], ((b*c - a*d)*f)/(d
*(b*e - a*f))])/(105*b^4*(-(b*c) + a*d)^(5/2)*(b*e - a*f)^2*Sqrt[c + d*x]*Sqrt[e
 + f*x])

_______________________________________________________________________________________

Rubi [A]  time = 22.1619, antiderivative size = 1716, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 8, integrand size = 38, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.21 \[ \text{result too large to display} \]

Antiderivative was successfully verified.

[In]  Int[(Sqrt[c + d*x]*Sqrt[e + f*x]*(A + B*x + C*x^2))/(a + b*x)^(9/2),x]

[Out]

(-2*(24*a^4*C*d^2*f^2 - a^3*b*d*f*(61*C*d*e + 43*c*C*f - 4*B*d*f) - 3*a*b^3*(d^2
*e*(B*e - 3*A*f) + 2*c^2*f*(7*C*e - B*f) + c*d*(28*C*e^2 - 5*B*e*f + 5*A*f^2)) -
 b^4*(4*A*d^2*e^2 - c*d*e*(7*B*e - A*f) - c^2*(35*C*e^2 - 14*B*e*f + 8*A*f^2)) -
 3*a^2*b^2*(d*f*(3*B*d*e + 2*B*c*f - A*d*f) - C*(15*d^2*e^2 + 37*c*d*e*f + 5*c^2
*f^2)))*Sqrt[c + d*x]*Sqrt[e + f*x])/(105*b^3*(b*c - a*d)^2*(b*e - a*f)^2*(a + b
*x)^(3/2)) + (2*(48*a^5*C*d^3*f^3 + 8*a^4*b*d^2*f^2*(B*d*f - 16*C*(d*e + c*f)) -
 b^5*(8*A*d^3*e^3 - c*d^2*e^2*(14*B*e + 5*A*f) + c^2*d*e*(35*C*e^2 + 14*B*e*f -
5*A*f^2) + c^3*f*(35*C*e^2 - 14*B*e*f + 8*A*f^2)) - a*b^4*(d^3*e^2*(6*B*e - 19*A
*f) - 6*c^3*f^2*(7*C*e - B*f) - c^2*d*f*(238*C*e^2 - 19*f*(B*e - A*f)) - c*d^2*e
*(42*C*e^2 - f*(19*B*e + 20*A*f))) + a^3*b^2*d*f*(C*(103*d^2*e^2 + 344*c*d*e*f +
 103*c^2*f^2) + d*f*(6*A*d*f - 19*B*(d*e + c*f))) - 3*a^2*b^3*(C*(5*d^3*e^3 + 94
*c*d^2*e^2*f + 94*c^2*d*e*f^2 + 5*c^3*f^3) + d*f*(3*A*d*f*(d*e + c*f) - B*(3*d^2
*e^2 + 16*c*d*e*f + 3*c^2*f^2))))*Sqrt[c + d*x]*Sqrt[e + f*x])/(105*b^3*(b*c - a
*d)^3*(b*e - a*f)^3*Sqrt[a + b*x]) + (2*(6*a^3*C*d*f + a*b^2*(14*c*C*e + 3*B*d*e
 + 3*B*c*f - 8*A*d*f) - b^3*(7*B*c*e - 4*A*(d*e + c*f)) + a^2*b*(B*d*f - 10*C*(d
*e + c*f)))*Sqrt[c + d*x]*(e + f*x)^(3/2))/(35*b^2*(b*c - a*d)*(b*e - a*f)^2*(a
+ b*x)^(5/2)) - (2*(A*b^2 - a*(b*B - a*C))*(c + d*x)^(3/2)*(e + f*x)^(3/2))/(7*b
*(b*c - a*d)*(b*e - a*f)*(a + b*x)^(7/2)) + (2*Sqrt[d]*(48*a^5*C*d^3*f^3 + 8*a^4
*b*d^2*f^2*(B*d*f - 16*C*(d*e + c*f)) - b^5*(8*A*d^3*e^3 - c*d^2*e^2*(14*B*e + 5
*A*f) + c^2*d*e*(35*C*e^2 + 14*B*e*f - 5*A*f^2) + c^3*f*(35*C*e^2 - 14*B*e*f + 8
*A*f^2)) - a*b^4*(d^3*e^2*(6*B*e - 19*A*f) - 6*c^3*f^2*(7*C*e - B*f) - c^2*d*f*(
238*C*e^2 - 19*f*(B*e - A*f)) - c*d^2*e*(42*C*e^2 - f*(19*B*e + 20*A*f))) + a^3*
b^2*d*f*(C*(103*d^2*e^2 + 344*c*d*e*f + 103*c^2*f^2) + d*f*(6*A*d*f - 19*B*(d*e
+ c*f))) - 3*a^2*b^3*(C*(5*d^3*e^3 + 94*c*d^2*e^2*f + 94*c^2*d*e*f^2 + 5*c^3*f^3
) + d*f*(3*A*d*f*(d*e + c*f) - B*(3*d^2*e^2 + 16*c*d*e*f + 3*c^2*f^2))))*Sqrt[(b
*(c + d*x))/(b*c - a*d)]*Sqrt[e + f*x]*EllipticE[ArcSin[(Sqrt[d]*Sqrt[a + b*x])/
Sqrt[-(b*c) + a*d]], ((b*c - a*d)*f)/(d*(b*e - a*f))])/(105*b^4*(-(b*c) + a*d)^(
5/2)*(b*e - a*f)^3*Sqrt[c + d*x]*Sqrt[(b*(e + f*x))/(b*e - a*f)]) + (2*Sqrt[d]*(
d*e - c*f)*(24*a^4*C*d^2*f^2 - a^3*b*d*f*(43*C*d*e + 61*c*C*f - 4*B*d*f) + b^4*(
8*A*d^2*e^2 - c*d*e*(14*B*e + A*f) + c^2*(35*C*e^2 + 7*B*e*f - 4*A*f^2)) + 3*a*b
^3*(d^2*e*(2*B*e - 5*A*f) - c^2*f*(28*C*e + B*f) - c*d*(14*C*e^2 - 5*B*e*f - 3*A
*f^2)) - 3*a^2*b^2*(d*f*(2*B*d*e + 3*B*c*f - A*d*f) - C*(5*d^2*e^2 + 37*c*d*e*f
+ 15*c^2*f^2)))*Sqrt[(b*(c + d*x))/(b*c - a*d)]*Sqrt[(b*(e + f*x))/(b*e - a*f)]*
EllipticF[ArcSin[(Sqrt[d]*Sqrt[a + b*x])/Sqrt[-(b*c) + a*d]], ((b*c - a*d)*f)/(d
*(b*e - a*f))])/(105*b^4*(-(b*c) + a*d)^(5/2)*(b*e - a*f)^2*Sqrt[c + d*x]*Sqrt[e
 + f*x])

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((C*x**2+B*x+A)*(d*x+c)**(1/2)*(f*x+e)**(1/2)/(b*x+a)**(9/2),x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [C]  time = 25.7866, size = 22671, normalized size = 13.21 \[ \text{Result too large to show} \]

Warning: Unable to verify antiderivative.

[In]  Integrate[(Sqrt[c + d*x]*Sqrt[e + f*x]*(A + B*x + C*x^2))/(a + b*x)^(9/2),x]

[Out]

Result too large to show

_______________________________________________________________________________________

Maple [B]  time = 0.432, size = 68351, normalized size = 39.8 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((C*x^2+B*x+A)*(d*x+c)^(1/2)*(f*x+e)^(1/2)/(b*x+a)^(9/2),x)

[Out]

result too large to display

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (C x^{2} + B x + A\right )} \sqrt{d x + c} \sqrt{f x + e}}{{\left (b x + a\right )}^{\frac{9}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/(b*x + a)^(9/2),x, algorithm="maxima")

[Out]

integrate((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/(b*x + a)^(9/2), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (C x^{2} + B x + A\right )} \sqrt{d x + c} \sqrt{f x + e}}{{\left (b^{4} x^{4} + 4 \, a b^{3} x^{3} + 6 \, a^{2} b^{2} x^{2} + 4 \, a^{3} b x + a^{4}\right )} \sqrt{b x + a}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/(b*x + a)^(9/2),x, algorithm="fricas")

[Out]

integral((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/((b^4*x^4 + 4*a*b^3*x^3 +
 6*a^2*b^2*x^2 + 4*a^3*b*x + a^4)*sqrt(b*x + a)), x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x**2+B*x+A)*(d*x+c)**(1/2)*(f*x+e)**(1/2)/(b*x+a)**(9/2),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (C x^{2} + B x + A\right )} \sqrt{d x + c} \sqrt{f x + e}}{{\left (b x + a\right )}^{\frac{9}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/(b*x + a)^(9/2),x, algorithm="giac")

[Out]

integrate((C*x^2 + B*x + A)*sqrt(d*x + c)*sqrt(f*x + e)/(b*x + a)^(9/2), x)